
module type T =
sig

val fact: int -> int
val fib: int -> int
val fast_fib: int -> int * int

end
